#ifndef NORMALIZATION_GLOBALS_H_
#define NORMALIZATION_GLOBALS_H_

#include "normalized_datatypes.h"

// number of normalized atomic concepts: existing atomic ones + ones generated
// during normalization
extern int normalized_atomic_concept_count;
// number of normalized atomic roles
extern int normalized_atomic_role_count;

extern NormalizedConcept** normalized_atomic_concepts;
extern NormalizedRole** normalized_atomic_roles;

// judy array for storing normalized existential restrictions
extern Pvoid_t normalized_exists_restrictions;

// the normalized TBox
extern NormalizedTBox normalized_tbox;


NormalizedConcept* get_exists_restriction(int r, int f);

void put_exists_restriction(int r, int f, NormalizedConcept* c);

NormalizedConcept* get_create_normalized_exists(NormalizedRole* r, NormalizedConcept* f);

#endif /*NORMALIZATION_GLOBALS_H */
